De Bruijn - PDFSEARCH.IO - Document Search Engine

De Bruijn
Results: 153

#	Item
11	How to apply de Bruijn graphs to genome assembly Add to Reading List Source URL: www.nature.com Language: English - Date: 2012-01-20 11:24:28 Graph theory Mathematics Bioinformatics NP-complete problems Computational biology DNA sequencing K-mer Velvet assembler Eulerian path Hamiltonian path Degree Seven Bridges of Knigsberg
12	CAREER: ABI: Scaling and Improving de Bruijn graph assembly C. Titus Brown Monday, July 25th, 2011 Keywords: assembly, bioinformatics, next generation sequencing, metagenomics, transcriptomics, mRNAseq. Add to Reading List Source URL: ged.msu.edu Language: English - Date: 2011-12-30 18:05:57 Biology Molecular biology Genetics Bioinformatics DNA sequencing Genomics Biotechnology De novo transcriptome assembly Sequence assembly Metagenomics RNA-Seq Whole genome sequencing
13	135 Documenta Math. Erratum to the paper “Absolute Continuity of the Spectrum Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-04-25 15:08:41 Spectral theory Mathematics Mathematical analysis Linear algebra Operator theory Ordinary differential equations Representation theory of Lie groups De Bruijn index Spectral theory of compact operators
14	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
15	The Search and Construction of Nonlinear Feedback Shift Registers Add to Reading List Source URL: www.math.uni-magdeburg.de Language: English - Date: 2013-08-14 05:43:02 Stream ciphers Nonlinear feedback shift register Radio-frequency identification De Bruijn sequence De Bruijn Linear-feedback shift register Nicolaas Govert de Bruijn Nonlinear system
16	December 16th, 2011 Dear Editors, We would like the editors to consider our manuscript entitled “Scaling metagenome sequence assembly with probabilistic de Bruijn graphs” for publication in the Proceedings of the Nat Add to Reading List Source URL: ged.msu.edu Language: English - Date: 2011-12-30 18:05:57 Bioinformatics Environmental microbiology Genomics Molecular biology Metagenomics Sequence assembly DNA sequencing
17	Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka Add to Reading List Source URL: www.ps.uni-saarland.de Language: English - Date: 2014-12-08 05:58:49
18	On On a combinatorial problem [1] Misha Lavrov September 13, 2013 Abstract The combinatorial version of the theorem [1] of de Bruijn and Erd˝os is presented in a more accessible way, since it turns out Wikipedia’s art Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2013-09-15 19:43:09
19	Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka Add to Reading List Source URL: www.ps.uni-saarland.de Language: English - Date: 2014-12-08 05:58:49
20	De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics